大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Symposium on Computer Arithmetic (5th : 1981 : University of Michigan) 的图书(共6112本)

Medical Image Computing and Computer-Assisted Intervention-MICCAI 2007 [electronic resource] : 10th International Conference, Brisbane, Australia, October 29 - November 2, 2007, Proceedings, Part II

0
索取号：
作者：Ayache、 Nicholas.、Ourselin、 S茅bastien.、Maeder、 Anthony.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Medical Image Computing and Computer-Assisted Intervention-MICCAI 2007 [electronic resource] : 10th International Conference, Brisbane, Australia, October 29 - November 2, 2007, Proceedings, Part I

0
索取号：
作者：Ayache、 Nicholas.、Ourselin、 S茅bastien.、Maeder、 Anthony.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

International Symposium on Fundamentals of Software Engineering [electronic resource] : International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007. Proceedings

0
索取号：
作者：Arbab、 Farhad.、Sirjani、 Marjan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Software Technologies for Embedded and Ubiquitous Systems [electronic resource] : 5th IFIP WG 10.2 International Workshop, SEUS 2007, Santorini Island, Greece, May 2007. Revised Papers

0
索取号：
作者：Obermaisser、 Roman.、Nah、 Yunmook.、Puschner、 Peter.、Rammig、 Franz J.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Advances in Information and Computer Security [electronic resource] : Second International Workshop on Security, IWSEC 2007, Nara, Japan, October 29-31, 2007. Proceedings

0
索取号：
作者：Miyaji、 Atsuko.、Kikuchi、 Hiroaki.、Rannenberg、 Kai.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Automated Technology for Verification and Analysis [electronic resource] : 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22鈥⵬ 2007 Proceedings

0
索取号：
作者：Namjoshi、 Kedar S.、Yoneda、 Tomohiro.、Higashino、 Teruo.、Okamura、 Yoshio.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Advances in Brain, Vision, and Artificial Intelligence [electronic resource] : Second International Symposium, BVAI 2007, Naples, Italy, October 10-12, 2007. Proceedings

0
索取号：
作者：Mele、 Francesco.、Ramella、 Giuliana.、Santillo、 Silvia.、Ventriglia、 Francesco.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Privacy Enhancing Technologies [electronic resource] : 7th International Symposium, PET 2007 Ottawa, Canada, June 20-22, 2007 Revised Selected Papers

0
索取号：
作者：Borisov、 Nikita.、Golle、 Philippe.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Knowledge Discovery in Inductive Databases [electronic resource] : 5th International Workshop, KDID 2006 Berlin, Germany, September 18, 2006 Revised Selected and Invited Papers

0
索取号：
作者：D啪eroski、 Sa拧o.、Struyf、 Jan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Computers and Games [electronic resource] : 5th International Conference, CG 2006, Turin, Italy, May 29-31, 2006. Revised Papers

0
索取号：
作者：Herik、 H. Jaap.、Ciancarini、 Paolo.、Donkers、 H. H. L. M. (Jeroen).、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

String Processing and Information Retrieval [electronic resource] : 14th International Symposium, SPIRE 2007 Santiago, Chile, October 29-31, 2007 Proceedings

0
索取号：
作者：Ziviani、 Nivio.、Baeza-Yates、 Ricardo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Algorithms-ESA 2007 [electronic resource] : 15th Annual European Symposium, Eilat, Israel, October 8-10, 2007. Proceedings

0
索取号：
作者：Arge、 Lars.、Hoffmann、 Michael.、Welzl、 Emo.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Databases in Networked Information Systems [electronic resource] : 5th International Workshop, DNIS 2007, Aizu-Wakamatsu, Japan, October 17-19, 2007. Proceedings

0
索取号：
作者：Bhalla、 Subhash.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Managing Next Generation Networks and Services [electronic resource] : 10th Asia-Pacific Network Operations and Management Symposium, APNOMS 2007, Sapporo, Japan, October 10-12, 2007. Proceedings

0
索取号：
作者：Ata、 Shingo.、Hong、 Choong Seon.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Formal Modeling and Analysis of Timed Systems [electronic resource] : 5th International Conference, FORMATS 2007, Salzburg, Austria, October 3-5, 2007. Proceedings

0
索取号：
作者：Raskin、 Jean-Fran莽ois.、Thiagarajan、 P. S.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.

Trustworthy Global Computing [electronic resource] : Second Symposium, TGC 2006, Lucca, Italy, November 7-9, 2006, Revised Selected Papers

0
索取号：
作者：Montanari、 Ugo.、Sannella、 Donald.、Bruni、 Roberto.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.